Proposition 3.1.8 (Universal property of K0)

Let be a unital -algebra , let be an abelian group, and suppose that is a map with the following properties:

  1. for all projections
  2. if belong to for some and in then
    THEN
    There exists a unique group homomorphism which makes the following diagram commute